Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis

摘要

The DICE workshop explores the area of Implicit Computational Complexity(ICC), which grew out from several proposals to use logic and formal methods toprovide languages for complexity-bounded computation (e.g. Ptime, Logspacecomputation). It aims at studying the computational complexity of programswithout referring to external measuring conditions or a particular machinemodel, but only by considering language restrictions or logical/computationalprinciples entailing complexity properties. The FOPARA workshop serves as a forum for presenting original researchresults that are relevant to the analysis of resource (e.g. time, space,energy) consumption by computer programs. The workshop aims to bring togetherthe researchers that work on foundational issues with the researchers thatfocus more on practical results. Therefore, both theoretical and practicalcontributions are encouraged. We also encourage papers that combine theory andpractice. Given the complementarity and the synergy between these two communities, andfollowing the successful experience of co-location of DICE-FOPARA 2015 inLondon at ETAPS 2015, we hold these two workshops together at ETAPS 2017, whichtakes place in Uppsala, Sweden. The provided proceedings collect the papersaccepted at the workshop.